481. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Set theory,Congresses ، Model theory

رده :
QA
3
.
L28
no
.
872

482. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Set theory,Congresses ، Model theory

رده :
QA
1
.
L4
v
.
872

483. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Set theory,Model thoery - Congresses

رده :
QA
3
.
L28
no
.
872

484. Set theory and related topics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع : ، Set theory

رده :
QA
248
.
L4S4

485. Set theory and related topics : advanced course in set theory

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Set theory

رده :
QA
248
.
G9
1992

486. Set theory and syntactic description

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Mathematical linguistics

رده :
P
123
.
C6
1974

487. Set Theory and the continuum hypothesis

پدیدآورنده :

موضوع : ، Set Theory,، Logic Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

488. Set theory and the continuum hypothesis

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
QA
9
.
C6
S4
1977

489. Set theory and the continuum hypothesis

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Set theory,Logic, symbolic and mathematical

رده :
511
.
3
C678

490. Set theory and the continuum hypothesis

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Continuum hypothesis

رده :
QA
9
.
C638S4

491. Set theory and the continuum problem

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Continuum hypothesis

رده :
QA
248
.
S6

492. Set theory and the number systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Set theory,Arithmetic -Foundations

رده :
QA
248
.
K43

493. Set theory and topology

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Set theory,، Topology

رده :
QA
248
.
N28

494. Set theory by programmed learning

پدیدآورنده :

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

495. Set theory : exploring independence and truth

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical

رده :
QA
248
.
S34S4

496. Set theory for computing : from decision procedures to declarative programming with sets

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Computable functions

رده :
QA
248
.
C26S4

497. Set theory for the mathematician

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Set theory

رده :
511
.
322
R896s

498. Set theory for the working mathematician

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory

رده :
QA
248
.
C52

499. Set theory for the working mathematician

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Set theory

رده :
QA
248
.
C475
1997

500. Set theory, logic and their limitations

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical

رده :
QA
248
.
M22S4